Известно (парадокс изобретателя, теорема Хао Вана, теорема Оревкова), что без идеальных абстрактных понятий невозможно получить сильные реальные результаты. Глубоко вникая в идеальные абстракции, неожиданно замечаешь, что многие из них намного устойчивее и реальнее, чем "практические" понятия нашего виртуализованного мира. Более того, в моменты ( Read more... )

В ходе обсуждения поста о комитете Михаил Фурман высказал интересное и важное соображение:

"На самом деле любой транслятор написать очень легко - практически тривиально (конечно, имея некоторое конструктивное семантическое определение языка).
Неэквивалентность (конечно, говоря не о чисто-теоретическом алгоритме вводимом для определения сложности по ( Read more... )